Argumentation update in YALLA (Yet Another Logic Language for Argumentation)
نویسندگان
چکیده
منابع مشابه
Argumentation update in YALLA (Yet Another Logic Language for Argumentation)
This article1 proposes a complete framework for handling the dynamics of an abstract argumentation system. This frame can encompass several belief bases under the form of several argumentation systems, more precisely it is possible to express and study how an agent who has her own argumentation system can interact on a target argumentation system (that may represent a state of knowledge at a gi...
متن کاملArgumentation Semantics for Defeasible Logic
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It haspowerful implementations and shows promise to be applied in the areas of legal reasoning and themodeling of business rules. This paper establishes significant links between defeasible reasoning andargumentation. In particular, Dung-like argumentation semantics is provided for two key ...
متن کاملExecutable Logic for Dialogical Argumentation
Argumentation between agents through dialogue is an important cognitive activity. There have been a number of proposals for formalizing dialogical argumentation. However, each proposal involves a number of quite complex definitions, and there is significant diversity in the way different proposals define similar features. This complexity and diversity has hindered analysis and comparison of the...
متن کاملComputing Argumentation in Logic Programming
In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing semantics for negation as failure in logic programming can be understood in a uniform way using argumentation. Moreover, other logics for non-monotonic reasoning that can also...
متن کاملAbstract Argumentation, Logic & Games
Abstract Argumentation, Logic & Games ∗Argumentation, Logic & Games ∗ Davide Grossi University of Liverpool Abstract argumentation [2] is the theory of graphs of the type 〈A, 〉—called attack graphs—where A is a set and a binary relation. These are high-level models of the sort of conflict that occurs in argumentation where arguments (the elements of A) interact by attacking one another (through...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2016
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2016.04.003